Shelekhov V.I., Chushkin M.S. «Methods for synthesizing predicate program pieces» // Applied Discrete Mathematics. Supplement 2016. №9 C.126-128
Chushkin M. S. «Sketch completion for predicate programs by counterexamples guided synthesis» // Applied Discrete Mathematics. Supplement 2017. №10 C.151-153
